IA64: improve handle_fpu_swa()
authorIsaku Yamahata <yamahata@valinux.co.jp>
Wed, 10 Dec 2008 06:39:46 +0000 (15:39 +0900)
committerIsaku Yamahata <yamahata@valinux.co.jp>
Wed, 10 Dec 2008 06:39:46 +0000 (15:39 +0900)
commit12c29f4eda3c0a16f259ee9b92f852c265286487
treea7b1e4c217a83efd3a07494b20369e6e7ffe1244
parent592bded3ed57a73ac31889b9f623566e984e425b
IA64: improve handle_fpu_swa()

It tries to get a bundle in guest.
Make it more robust using vmx_get_domain_bundle() instead of
__get_domain_bundle().

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/faults.c
xen/arch/ia64/xen/vcpu.c